Очень часто встречаю в русском ЖЖ (и, вообще, в русском Интернете) термин "линейная логика," обычно, с добавкой "простая линейная логика."
Применяется он в смысле "простых логических рассуждений."
Вообще-то,
линейная логика Жана-Ива Жирара штука сложная и тонкая. Ее еще надо уметь применять и простой ее назвать очень сложно
(
Read more... )